Перевод: с английского на все языки

со всех языков на английский

logic evaluation

См. также в других словарях:

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • Logic form — Logic forms are simple, first order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and… …   Wikipedia

  • Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… …   Wikipedia

  • Logic model — The logic model is a general framework for describing work in an organization. Since work is often packaged in programs, it is often referred to as the program logic model. Definition In its simplest form, the logic model analyzes work into four… …   Wikipedia

  • Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Informal logic — (or, occasionally, non formal logic) is the study of arguments as presented in ordinary language, as contrasted with the presentations of arguments in an artificial, formal, or technical language (see formal logic ). Informal logic emerged in… …   Wikipedia

  • Concurrent constraint logic programming — is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or in addition to) solving constraint satisfaction problems. Goals in constraint logic programming are evaluated concurrently; a… …   Wikipedia

  • Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… …   Wikipedia

  • Circumscription (logic) — Not to be confused with circumscribe. Circumscription is a non monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in …   Wikipedia

  • Program evaluation — is a formalized approach to studying the goals, processes, and impacts of projects, policies and programs. Program evaluation is used in the public and private sector and is taught in numerous universities. Evaluation became particularly relevant …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»